home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.plugin.print;
-
- import com.extensibility.plugin.PluginRegistry;
- import com.extensibility.plugin.api.PrintHtml10;
- import com.extensibility.plugin.api.PrintPreferences;
- import horst.HTMLPane;
- import horst.HTMLPaneStatusEvent;
- import horst.HTMLPaneStatusListener;
- import horst.HTMLWindow;
- import java.awt.AWTEvent;
- import java.awt.print.PageFormat;
- import java.awt.print.Paper;
- import java.awt.print.PrinterJob;
- import java.io.File;
- import java.io.Reader;
- import java.net.URL;
-
- public class HtmlPrint implements PrintHtml10, HTMLPaneStatusListener {
- private HTMLWindow htmlWindow = new HTMLWindow();
- private HTMLPane htmlRenderer;
- private File toDeleteWhenDone;
- private boolean printWhenLoaded;
- private boolean loaded;
- // $FF: synthetic field
- private static Class class$Lcom$extensibility$plugin$print$HtmlPrint;
-
- public static void registerPlugin(PluginRegistry var0) {
- var0.registerPlugin("PrintHtml10", class$Lcom$extensibility$plugin$print$HtmlPrint != null ? class$Lcom$extensibility$plugin$print$HtmlPrint : (class$Lcom$extensibility$plugin$print$HtmlPrint = class$("com.extensibility.plugin.print.HtmlPrint")), "HTML Printer", 65538);
- }
-
- public void setHtmlToPrint(Reader var1, URL var2) {
- this.htmlRenderer.openPage(var1, var2);
- this.printWhenLoaded = true;
- }
-
- public void setHtmlToPrint(URL var1) {
- this.htmlRenderer.openPage(var1);
- this.printWhenLoaded = true;
- }
-
- public void doPrinting(File var1, PrintPreferences var2) {
- PageFormat var3 = new PageFormat();
- Paper var4 = new Paper();
- var3.setOrientation(var2.getOrientation());
- var4.setSize(var2.getWidth(), var2.getHeight());
- var4.setImageableArea(var2.getImageableX(), var2.getImageableY(), var2.getImageableWidth(), var2.getImageableHeight());
- var3.setPaper(var4);
- this.htmlRenderer.setPageFormat(var3);
- this.toDeleteWhenDone = var1;
- }
-
- public boolean statusChanged(HTMLPaneStatusEvent var1) {
- if (((AWTEvent)var1).getID() == 5) {
- this.htmlRenderer.printPage();
- if (this.toDeleteWhenDone != null) {
- this.toDeleteWhenDone.delete();
- }
- }
-
- return true;
- }
-
- public PrintPreferences displayPrintSetup(PrintPreferences var1) {
- PageFormat var2 = new PageFormat();
- Paper var3 = new Paper();
- var2.setOrientation(var1.getOrientation());
- var3.setSize(var1.getWidth(), var1.getHeight());
- var3.setImageableArea(var1.getImageableX(), var1.getImageableY(), var1.getImageableWidth(), var1.getImageableHeight());
- var2.setPaper(var3);
- PrinterJob var4 = PrinterJob.getPrinterJob();
- var2 = var4.pageDialog(var2);
- var1.setOrientation(var2.getOrientation());
- var1.setWidth(var2.getPaper().getWidth());
- var1.setHeight(var2.getPaper().getHeight());
- var1.setImageableX(var2.getPaper().getImageableX());
- var1.setImageableY(var2.getPaper().getImageableY());
- var1.setImageableWidth(var2.getPaper().getImageableWidth());
- var1.setImageableHeight(var2.getPaper().getImageableHeight());
- this.htmlRenderer.setPageFormat(var2);
- return var1;
- }
-
- // $FF: synthetic method
- static Class class$(String var0) {
- try {
- return Class.forName(var0);
- } catch (ClassNotFoundException var2) {
- throw new NoClassDefFoundError(((Throwable)var2).getMessage());
- }
- }
-
- public HtmlPrint() {
- this.htmlRenderer = this.htmlWindow.getHTMLPane();
- this.htmlRenderer.addStatusListener(this);
- }
- }
-